121. Artificial intelligence :
پدیدآورنده : edited by Sergei O. Kuznetsov, Gennady S. Osipov, Vadim L. Stefanuk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Software Engineering.,Artificial intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.
رده :
Q334
122. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده : editor, Radek Silhavy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
123. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
124. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
125. Automated technology for verification and analysis
پدیدآورنده : Supratik Chakraborty, Madhavan Mukund (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2012eb
126. Automated technology for verification and analysis :
پدیدآورنده : Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
127. Automated technology for verification and analysis
پدیدآورنده : Zhiming Liu, Anders P. Ravn (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2009
128. Automated technology for verification and analysis
پدیدآورنده : / Kedar S. Namjoshi ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving--Congresses
رده :
QA
,
76
.
9
,.
A96
,
A82
,
2006
129. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
130. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
131. Autonomic and trusted computin
پدیدآورنده : / Chunming Rong ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Autonomic computing--Congresses,Computer security--Congresses,Computer networks--Security measures--Congresses
133. Balancing agility and formalism in software engineerin
پدیدآورنده : / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Software engineering--Congresses,Computer software--Development--Congresses
134. Bidirectional transformations :
پدیدآورنده : Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
135. Big data, cloud computing, and data science engineering
پدیدآورنده : Roger Lee, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Big data,Congresses ، Cloud computing,Congresses ، Software engineering
رده :
QA
76
.
9
.
B45B533
136. Bioinspired models of network, information, and computing system
پدیدآورنده : / BIONETICS 2009, Avignon, France, December 9 - 11, 2009. Eitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Network topology, swd,Autonomic computing, swd,Biocybernetics, swd,Delay Tolerant Network, swd,Software system, swd,Biological model, swd,Avignon <2009>, swd,Congress, swd,Bionics, Congresses,Biologically-inspired computing, Congresses,Computer science, Congresses,Computer networks, Congresses,Information technology, Congresses
137. Building the e-World ecosystem :
پدیدآورنده : Tomas Skersys ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Electronic commerce, Congresses.,Information technology, Congresses.,Internet in public administration, Congresses.,World Wide Web, Congresses.
رده :
TK5105
.
5
.
I35
2011
138. COTS-based software systems : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
پدیدآورنده : John Dean, Andree Gravel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2255
139. COTS-based software systems :second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 : proceedings
پدیدآورنده : Hakan Erdogmus, Tao Weng )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2580
140. COTS-based software systems : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings
پدیدآورنده : Xavier Franch, Dan Port )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3412
